Abstract

The LOGIC COL­LO­QUIUM 2018 is the an­nual Eu­ro­pean summer meeting of the As­so­ci­a­tion of Sym­bolic Logic (ASL), that will be held during July 23—28, 2018 at the Uni­ver­sity of Udine, Italy. Logic is an an­cient dis­ci­pline that has un­der­gone striking modern de­vel­op­ments through the in­tro­duc­tion of formal meth­ods, stim­u­lated largely by foun­da­tional prob­lems in math­e­mat­ics. Re­cent re­search in other areas such as com­puter sci­ence, lin­guis­tics, and cog­ni­tive sci­ence has also been in­spired by logic, and the LOGIC COL­LO­QUIUM re­flects such ex­panding in­ter­ests. The de­tailed pro­gram of the con­fer­ence will be pub­lished as soon as avail­able. Talks will start on Monday 23 at 9am and end on Sat­urday 28 at 1pm. See the Call for pa­pers for sub­mis­sion in­struc­tions, and learn how to reach the con­fer­ence venue.